∂17-Apr-77  0350	JMC  	CS206    
To:   PAM    
Please print the remaining chapters of the course notes and
distribute them.  The chapter on proving programs correct
is not in very good form but will have to be distributed as
is.  It is the file THEORY[S77,JMC] and needs to replace the
corresponding chapter in LSPDOC[206,LSP].  The chapter on
compilers needs to have the compilers revised slightly to work
in MACLISP at LOTS.  Dick Gabriel has agreed to do this.

∂17-Apr-77  0045	JMC  	Your proof.   
To:   RWW    
	I am looking forward to reading the proof and its
satellites in the plane.
Will the proof extend to a proof that
samefringe[x,y] ≡ fringe x = fringe y?  Presumably the induction
is the same; only the formulas are longer and need more
simplification.  However, it would be good to try it.

	"primative" → "primitive"

Let me suggest you send a copy to Boyer and Moore at SRI to see
whether they think their automatic prover can do as well.  You might
send a copy to gether with a copy of FIRST to Cartwright at Cornell.

∂16-Apr-77  1744	JMC  
To:   RWW    
Many thanks.

∂16-Apr-77  0124	JMC  
To:   RWW    
I leave Sunday morning.

∂14-Apr-77  2125	JMC  
To:   ELM    
What latency and transfer rate?

∂14-Apr-77  1403	JMC  
To:   JB
Suppes kindly accepted.  To assert gladly, you should know him better.
By the way, he promptly called me with a request to be on a committee
for one of his.

∂13-Apr-77  1252	JMC  
To:   DPB    
Better you than me.

∂13-Apr-77  0932	JMC  
To:   quam at SUMEX-AIM
3:30 PM here only remaining possibility.

∂13-Apr-77  0909	JMC  
To:   quam at SUMEX-AIM
CC:   RWW    
Yes to a meeting on Wagner thesis. Thursday 4:30?

∂12-Apr-77  2344	JMC  	Smith    
To:   FRM    
It is not permissible for people to login under the names of others.
Smith cannot be added to the group without agreement.  Music used 36%
in March (including 220).  All other research got 37%.  Smith was playing
go last night and when asked to stop, copied the go program under another
name and continued.

∂12-Apr-77  2344	JMC  
To:   NR
OK for now. I'll talk with Chowning.

∂12-Apr-77  2319	JMC  
To:   RP
CC:   JC
Music including 220 is now was 36% of computer use in March and
non-music research was 37%.  In view of this, there was to be
agreement on the addition of new people to the music group.  To add
people to the 220 list and then have them do other work is not
in accordance with the agreement.  Rolnick should stick to 220 hours
until something else is agreed.

∂12-Apr-77  2303	JMC  
To:   NR
Please adhere to 220 time restrictions.

∂12-Apr-77  2300	JMC  
To:   LES    
When can we have bureaucracy by time of day so we can estimate music use?

∂12-Apr-77  0919	JMC  
To:   nilsson at SRI-KL
AI[W77,JMC] is a reaction to Nilsson, Duda, and Hart.

∂12-Apr-77  0818	JMC  
To:   minsky at MIT-AI 
Good, let's try to collaborate, but I am going to MI9 on Sunday
to return May 2, so we should do something before then.

∂12-Apr-77  0132	JMC  	Julius Smith, sins thereof.  
To:   JC
CC:   LES, DCL    
JOS,FRM was logged in playing go about 11:40 when system was heavily loaded.
Asked to stop, pleaded he had brought friend and was told to come back at
3am.  Soon thereafter, was observed running a program T.  RU T[jos,frm]
showed that it was a newly made copy of go.  He was told to log out and
not log in again till he has seen me.  Is he a musical genius?    One supposes
that he logs in as FRM to avoid 220 restrictions, but many of its files
were created in legitimate 220 hours.  FRM has no other obvious barnacles.

∂12-Apr-77  0131	JMC  
To:   FRM    
Did you know that Julius Smith was using a directory JOS,FRM?

∂12-Apr-77  0052	JMC  
To:   FRM    
Please log out immediately and see me before logging on again.

∂12-Apr-77  0027	JMC  
To:   FRM    
Not exclusively.

∂12-Apr-77  0021	JMC  	Go and two jobs in RUNQ.
To:   FRM    
It is not permissible to have two jobs in RUNQ quite apart from GO.
If you want to finish this one game, come back after 3:00 am.

∂12-Apr-77  0010	JMC  
To:   FRM    
The machine, as usual, is too busy for GO playing.

∂12-Apr-77  0007	JMC  
To:   DCL    
JMS was given special permission to run at other times than early
morning, because of illness.  JOS has no such authorization.  Why
don't you suggest he stop?

∂11-Apr-77  0841	JMC  
To:   dbrown at SUMEX-AIM   
 ∂11-Apr-77  0816	MJL  
$16,149 by end of fall quarter.
year to date expenses    3/3l/77      34,024
Although most CSD courses switched to LOTS in winter, the use of SCIP
in winter was $18,000 as compared to $16,000 in fall.  Can you find out
what it was used for?  We think LOTS needs about $35K in amortization budget in
order to double its speed and disk file and meet fall crunch.  However,
departments and schools are going to have to decide which is more
prioritous for them.

∂10-Apr-77  0138	JMC  	Comments on a report by Nilsson, Duda and Raphael.    
To:   minsky at MIT-AI 
I don't know if you have been sent this report for comment, but
you might look at AI[W77,JMC] and form an opinion if I am being
unfair as well as impolitic.

∂09-Apr-77  1517	JMC  
To:   RAK    
As it happens, Borchek has been working on our accounting system
so that it will take account of time of day.  I suspect that much of the
time charged to him is his version of the accounting system working in
parallel with the old system.  We were paying him last summer but have
got the recent work for free.

∂08-Apr-77  2228	JMC  	LOTS use 
To:   RAK    
One important LOTS use is moving software to LOTS from here and other places.

∂08-Apr-77  2041	JMC  
To:   pratt at MIT-AI  
With the formalisms discussed in "FIRST ORDER REPRESENTATIONS", I expect
to be able to ask students to prove their LISP programs extensionally
correct (i.e. they get the right answers, without saying how efficient
they are).  This will put a premium on writing programs using features
that have formalizable semantics.  We'll see what effect this has on
people's tastes.

∂08-Apr-77  2037	JMC  
To:   MJL    
What was expended by end of Fall quarter since LOTS wasn't active in
the Fall?

∂08-Apr-77  2035	JMC  
To:   LES    
 ∂08-Apr-77  1501	GFS  
GEORGE SCHNURLE WILL BE WORKING ON THE LOTS COMMUNICATION INTERFACE
UNDER THE ACCOUNT NAMED GFS. PLEASE ENTER IT AS A VALID ACCOUNT.

∂08-Apr-77  2034	JMC  
To:   RAK    
Who are the offenders you have noticed?

∂07-Apr-77  2209	JMC  
To:   PRATT at MIT-AI  
I have asked Patty to mail you one.

∂07-Apr-77  2206	JMC  
To:   PAT    
Please send Vaughan Pratt at M.I.T. a copy of FIRST.XGP

∂06-Apr-77  2358	JMC  
To:   pratt at MIT-AI  
I think I agree with your message about EVAL.  I don't use it for programming.
Its original intent was theoretical - to show how much simpler the universal
function for LISP is than a universal Turing machine.

∂06-Apr-77  2215	JMC  
To:   pratt at MIT-AI  
FIRST.NEW[W77,JMC] may interest you.  FIRST.XGP is the pubbed version.

∂06-Apr-77  1919	JMC  
To:   REP    
It will be approximately according to Winograd's 1975 syllabus
available from Moira Lieberman.

∂06-Apr-77  1917	JMC  
To:   JC
OK about Strawn